Name:           HaCWB
Version:        0.01
License:        GPL
Author:         Carlos Vilhena and Jose Marques
maintainer:     carlosvilhena@gmail.com or jtrofa@gmail.com
Homepage:       http://wiki.di.uminho.pt/
Category:       Concurrency Animator
Build-Depends:  base, lang
Synopsis:       Library to interpret and animate CCS an Pi-Calculus Processes
Exposed-modules:
	HaCWB.Lib.Evaluate, 
	HaCWB.Lib.Data, 
	HaCWB.Lib.EvaluateOneStep, 
	HaCWB.Lib.TransG2Graphviz,  
	HaCWB.Lib.Util, 
	HaCWB.Lib.Substitution,
	HaCWB.Parser.Lexer, 
	HaCWB.Parser.Parser  
	HaCWB.Parser.ParserM
ghc-options:	-fglasgow-exts -package lang 
Extensions:     CPP
-- data-files:	examples/in2
other-modules:	HaCWB.Lib.Common
-- Hs-Source-Dir:	.
